641. Risks and Security of Internet and Systems :
پدیدآورنده : edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
642. Robot intelligence technology and applications :
پدیدآورنده : Jong-Hwan Kim, Hyung Myung, Seung-Mok Lee (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Artificial intelligence.,Robotics.
رده :
Q334
643. Rule-based modeling and computing on the Semantic Web :
پدیدآورنده : Frank Olken, Monica Palmirani, Davide Sottara (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R85
2011
644. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
646. Science of cyber security :
پدیدآورنده : Feng Liu, Shouhuai Xu, Moti Yung (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Ethical & social aspects of IT.,Information retrieval.,Network hardware.
رده :
QA76
.
9
.
A25
647. Scientific Computing and Cultural Heritage :
پدیدآورنده : edited by Hans Georg Bock, Willi Jager, Michael J. Winckler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction -- Congresses.,Human-computer interaction.,REFERENCE -- Questions & Answers.
648. Scientific support for the decision making in the security sector /
پدیدآورنده : [edited by] Ognyan Kounchev ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision support systems, Congresses,Emergency management-- Data processing, Congresses,Military planning-- Decision making, Congresses,Multisensor data fusion, Congresses,National security-- Decision making, Congresses,National security-- Environmental aspects, Congresses
رده :
UA10
.
5
.
N38
2007
649. Secure IT systems :
پدیدآورنده : Nils Gruschka (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Ethical & social aspects of IT.,Information retrieval.,Law-- Science & Technology.,Legal aspects of IT.,Network hardware.
رده :
QA76
.
9
.
A25
650. Security and trust management :
پدیدآورنده : Sokratis K. Katsikas, Cristina Alcaraz (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer networks-- Security measures.,Computer programming-- software development.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information retrieval.,Information technology: general issues.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
S76
2018
651. Security aspects in information technology :
پدیدآورنده : Marc Joye, Debdeep Mukhopadhyay, Michael Tunstall (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses,Computer security, Congresses,Information technology-- Security measures, Congresses
رده :
QA76
.
9
.
A25
I58
2011
652. Security informatics and terrorism :
پدیدآورنده : edited by Cecilia S. Gal, Paul B. Kantor and Bracha Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Cyberterrorism-- Prevention, Congresses.,Terrorism and mass media, Congresses.,Terrorism-- Prevention, Congresses.,Computer networks-- Security measures.,Computer security.,Cyberterrorism-- Prevention.,TECHNOLOGY & ENGINEERING-- Electrical.,Terrorism and mass media.,Terrorism-- Prevention.
رده :
HV6773
.
N415
2008eb
653. Security, privacy, and anonymity in computation, communication, and storage :
پدیدآورنده : Guojun Wang, Jinjun Chen, Laurence T. Yang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data protection, Congresses.,Computer networks-- Security measures.,Computer security.,Data protection.
رده :
QA76
.
9
.
A25
654. Security protocols XXVI :
پدیدآورنده : Vashek Matyáš, Petr Švenda, Frank Stajano, Bruce Christianson, Jonathan Anderson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Artificial intelligence.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
655. Security standardisation research :
پدیدآورنده : Cas Cremers, Anja Lehmann (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A25
656. Security with intelligent computing and big-data services /
پدیدآورنده : Sheng-Lung Peng, Shiuh-Jeng Wang, Valentina Emilia Balas, Ming Zhao, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Big data, Congresses.,Computer security, Congresses.,Artificial intelligence.,Artificial intelligence.,Big data.,Computer security.,Computer security.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
QA76
.
9
.
A25
657. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
658. Semantic technology
پدیدآورنده : Hideaki Takeda ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing, Congresses,Semantic Web, Congresses
رده :
QA76
.
5913
.
J57
2012
659. Semantic web challenges :
پدیدآورنده : Davide Buscaldi, Aldo Gangemi, Diego Reforgiato Recupero (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Databases.,Desktop publishing.,Information retrieval.,Semantic Web.
رده :
TK5105
.
88815
660. Serious games :
پدیدآورنده : Stefan Göbel, Augusto Garcia-Agundez, Thomas Tregel, Minhua Ma, Jannicke Baalsrud Hauge, Manuel Oliveira, Tim Marsh, Polona Caserman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer games-- Design, Congresses.,Educational games, Congresses.,Game theory, Congresses.,Artificial intelligence.,Computer games-- Design.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,Game theory.,Graphics programming.,Image processing.,Society & social sciences.,User interface design & usability.
رده :
QA76
.
76
.
C672
J65
2017eb